
\begin{defn}
	This is a definition.
\end{defn}

test

\begin{prop}
	\begin{tikzcd}
		This is \arrow[r] a commutative diagram.
	\end{tikzcd}
\end{prop}

